perm filename TASK2.MAR[ESS,JMC] blob sn#031483 filedate 1973-03-26 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	1. Prepare CS258.
C00003 ENDMK
CāŠ—;
1. Prepare CS258.
	1.1. Reading list.
	1.2. Initial handout
	1.3. Work out when Weyhrauch, Floyd, Luckham, will lecture.
	1.4. Decide on proof checker.

2. Prepare defense of MTC.

3. Decide whether to propose symposium on cars.